Paul Erdos biography